!1 <- not 2
not 1 \\ !2
